<!-- Log the time of start -->
<script>
  window['GD_STARTUP_TIMES'] = [
    ['previewHeadHtmlFirstScriptStarted', performance.now()],
  ];
</script>

<!-- GDevelop.js core -->
<script src="./libGD.js"></script>
